package sketch.icse11nier;

import sketch.ounit.Values;
import sketch.specs.annotation.TestSketch;
import junit.framework.TestCase;

public class Z_Sketch_IntegrateTests extends TestCase {
	
	@TestSketch
	public void testRemoveTreeMap() {
		treemap.TreeMap t;
		t = Values.random(treemap.TreeMap.class);
		t.remove(Values.symbolicInt());
	}
	
}
